Models of computation - PDFSEARCH.IO - Document Search Engine

Models of computation
Results: 1716

#	Item
221	The Halting Problems of Network Stack Insecurity Le n S a s s a m a n , M e r e d i t h L . P a t t e r s o n , Se r g e y B r a t u s , and Anna Shubina Len Sassaman was a PhD Add to Reading List Source URL: static.usenix.org Language: English - Date: 2011-11-23 16:29:49 Computability theory Models of computation Turing machine Theory of computation Turing completeness Halting problem Universal Turing machine Parsing Deterministic pushdown automaton Theoretical computer science Computer science Applied mathematics
222	A Model Seeker: Extracting Global Constraint Models From Positive Examples Nicolas Beldiceanu and Helmut Simonis TASC team (INRIA/CNRS), Mines de Nantes, France Cork Constraint Computation Centre Department of Computer S Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:09:59 E Constraint programming Mathematics Mathematical optimization Constraint Cardinality
223	MASTER THESIS IN MICRODATA ANALYSIS Computation and application of the spatial zero inflated count response Author: Shengqiang Guo Add to Reading List Source URL: www.statistics.du.se Language: English - Date: 2014-06-25 03:04:33 Econometrics Actuarial science Statistical methods Generalized linear model Linear regression Mixed model Least squares Random effects model Poisson distribution Statistics Regression analysis Statistical models
224	Towards an algebraic classification of recognizable sets of lambda-terms1 Sylvain Salvati INRIA Bordeaux sud-ouest, LaBRI, universit´ e de Bordeaux Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2011-01-28 01:56:16 Models of computation Computability theory Lambda calculus Spectral theory Formal language Theoretical computer science Mathematics Applied mathematics
225	Decision Problems for Additive Regular Functions Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-04-29 09:21:06 Mathematics Models of computation Metalogic Structure Universal algebra FO Model theory String Symbol Automata theory Theoretical computer science Formal languages
226	Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT Add to Reading List Source URL: users.ece.gatech.edu Language: English - Date: 2004-10-21 11:39:18 Models of computation Distributed computing Mathematics Applied mathematics Fault-tolerant computer systems Virtual synchrony Kahn process networks Computing Snapshot algorithm Algorithm
227	On-the-Fly Exact Computation of Bisimilarity Distances Giorgio Bacci, Giovanni Bacci, Kim G. Larsen, Radu Mardare Dept. of Computer Science, Aalborg University Quantitative Models: Expressiveness, Analysis, and New Appl Add to Reading List Source URL: people.cs.aau.dk Language: English - Date: 2014-06-10 09:27:45 Markov models Mathematics Probabilistic bisimulation Markov chain Bisimulation Mathematical sciences Markov Theoretical computer science Applied mathematics Markov processes
228	Comparing Solution Methods for the Machine Reassignment Problem Deepak Mehta, Barry O’Sullivan, and Helmut Simonis Cork Constraint Computation Centre, University College Cork, Ireland {d.mehta\|b.osullivan\|h.simonis}@4c Add to Reading List Source URL: 4c.ucc.ie Language: English - Date: 2012-10-12 20:10:48 Linear programming Local consistency Mathematics Applied mathematics Theoretical computer science Mathematical optimization Models of computation Convex optimization Operations research Constraint programming
229	Brute Force is not Ignorance Joseph Davidson and Greg Michaelson School of Mathematical and Computer Sciences Heriot-Watt University, Edinburgh, Scotland {jrd5/G.Michaelson}@hw.ac.uk Add to Reading List Source URL: www.macs.hw.ac.uk Language: English - Date: 2014-10-02 06:12:48 Computer science Models of computation Turing machine Register machines Busy beaver Random access machine Random access stored program machine Computability Algorithm Theory of computation Theoretical computer science Computability theory
230	THE COST OF REPAIRS Gabriele Puppis LaBRI / CNRS based on joint works with Add to Reading List Source URL: www.cmi.ac.in Language: English - Date: 2015-02-23 23:15:04 Formal languages Applied mathematics Computer science Finite-state machine Finite state transducer Automata theory Models of computation Theoretical computer science

UPDATE